Correlational quantum theory and correlation constraints

A correlational dialect is introduced within the quantum theory language to give a unified treatment of finite-dimensional informational and operational theories, infinite-dimensional relativistic gravity. Theories are written in terms correlation diagrams which specify types weights. Grouping similar leads generalized Feynman diagrams, special cases reduce familiar from field theories. The formalism applied study constraints, revealing classes processes that evade previous characterizations general processes. results apply theories various kinds, including time-asymmetric time-symmetric without predefined time, with indefinite causal structures.